Heuristics

Type : Selection

Range : The settings listed below

Default : On

This option can be used to switch on or off all heuristics. Then you can set individual ones off or on. The local tree heuristic is not included as it dramatically alters the search. Possible values are:

  • Off

  • On

Learn more about